141. Computability, Complexity, and Languages

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری

رده :
E-Book
,

142. Computability, complexity, and languages :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994

143. Computability, complexity, and languages

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
.
D38
267
1983

144. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6

145. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

موضوع : ، Machine theory,، Computational complexity,، Formal languages

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

146. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1994

147. Computability, complexity, and languages fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38

148. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
1994

149. Computational Logic in Multi-Agent Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر

رده :
E-Book
,

150. Computer oriented learning processes : )proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes(

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Artificial intelligence,Congresses ، Probabilistic automata,Congresses ، Formal languages

رده :
Q
334
.
N37
1976

151. Context-free grammars : covers, normal forms, and parsing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Formal languages,، Parsing )Computer grammar(

رده :
QA
76
.
L4
v
.
93

152. Context-free grammars : covers, normal forms, and parsing

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Formal languages,، Parsing )Computer grammar(

رده :
QA
267
.
3
.
N54

153. Context-free grammars : covers, normal forms, and parsing

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Formal languages,، Parsing )Computer grammar(

رده :
QA
76
.
L28
Vol
.
93

154. Current trends in theoretical computer science: essays and tutorials

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Machine theory,، formal languages

رده :
QA
267
.
C87

155. Definition of programming languages by interpreting automata

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

156. Descriptional Complexity of Formal Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبان‌های صوری -- کنگره ها

رده :
QA
76
.
9
.
D4
2015
E-Book
,

157. Descriptional complexity of formal systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal languages ; Congresses. ;

158. Descriptional complexity of formal systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal languages ; Congresses. ;

159. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.

160. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses

رده :
QA267
.
3
.
D34
2011